$\forall$$n$:$\mathbb{N}$. finite($\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$)